Knowledge Reosurces & Relay Centre | AIKTC-KRRC

Your cart is empty.

Your search returned 3 results. Subscribe to this search

Not what you expected? Check for suggestions
Unhighlight Highlight
|
1.
Automatic Methods for the Refinement of System Models [electronic resource] : From the Specification to the Implementation /

by Seiter, Julia [author.] | Wille, Robert [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service).

Edition: 1st ed. 2017.Source: Springer Nature eBookPublisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access eBook in Springer Nature platform. (Within Campus only.) Availability: No items available
Lists:

Request article Add to cart
2.
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [electronic resource] /

by Przigoda, Nils [author.] | Wille, Robert [author.] | Przigoda, Judith [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookPublisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access eBook in Springer Nature platform. (Within Campus only.) Availability: No items available
Lists:

Request article Add to cart
3.
Formal System Verification [electronic resource] : State-of the-Art and Future Trends /

by Drechsler, Rolf [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookPublisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access eBook in Springer Nature platform. (Within Campus only.) Availability: No items available
Lists:

Request article Add to cart
Unique Visitors hit counter Total Page Views free counter
Implemented and Maintained by AIKTC-KRRC (Central Library).
For any Suggestions/Query Contact to library or Email: librarian@aiktc.ac.in | Ph:+91 22 27481247
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha